Mechanically supporting case analysis for verification of distributed systems
نویسندگان
چکیده
منابع مشابه
Mechanically supporting case analysis for verification of distributed systems
The OTS/CafeOBJ method can be used to formally model, specify and verify distributed systems such as security protocols and railroad systems. A distributed system is modeled as an OTS, a kind of transition system, and the OTS is specified and verified with CafeOBJ, an algebraic specification language. Case analysis (or case splitting) is one of the most intellectual pieces of work in verificati...
متن کاملHeterogeneous Analysis and Verification for Distributed Systems
In this paper we present an environment for the development of special purpose heterogeneous analysis and veriication tools, which is unique in 1) constituting a framework for the development of application speciic heterogeneous tools and 2) providing facilities for the automation of the synthesis process. Based on a speciication language that uniformly combines taxonomic component speciication...
متن کاملComparative analysis of profit between three dissimilar repairable redundant systems using supporting external device for operation
The importance in promoting, sustaining industries, manufacturing systems and economy through reliability measurement has become an area of interest. The profit of a system may be enhanced using highly reliable structural design of the system or subsystem of higher reliability. On improving the reliability and availability of a system, the production and associated profit will also increase. Re...
متن کاملanalysis of ruin probability for insurance companies using markov chain
در این پایان نامه نشان داده ایم که چگونه می توان مدل ریسک بیمه ای اسپیرر اندرسون را به کمک زنجیره های مارکوف تعریف کرد. سپس به کمک روش های آنالیز ماتریسی احتمال برشکستگی ، میزان مازاد در هنگام برشکستگی و میزان کسری بودجه در زمان وقوع برشکستگی را محاسبه کرده ایم. هدف ما در این پایان نامه بسیار محاسباتی و کاربردی تر از روش های است که در گذشته برای محاسبه این احتمال ارائه شده است. در ابتدا ما نشا...
15 صفحه اولesp needs analysis of iranian ma students: a case study of university of isfahan
نیاز سنجی دانشجویان کارشناسی ارشد ایرانی در رابطه با زبان تخصصی: مطالعه ای در دانشگاه اصفهان هدف از این مطالعه بررسی نیازهای یادگیری زبان خارجی دانشجویان کارشناسی ارشد دانشجویان دانشگاه اصفهان در رشته های زیست شناسی، روانشناسی، تربیت بدنی، حسابداری و فلسفه ی غرب میباشد. در مجموع 80 دانشجودر پنج رشته ی متفاوت از دانشگاه اصفهان در این پژوهش شرکت داشتند.علاوه بر این هشتاد دانشجو،25 استاد دروس ت...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Pervasive Computing and Communications
سال: 2005
ISSN: 1742-7371
DOI: 10.1108/17427370580000119